more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 13689

[filed under theme 4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / b. Terminology of PL ]

Full Idea

Formulas provable from no premises at all are often called 'theorems'.

Gist of Idea

'Theorems' are formulas provable from no premises at all

Source

Theodore Sider (Logic for Philosophy [2010], 2.6)

Book Ref

Sider,Theodore: 'Logic for Philosophy' [OUP 2010], p.47

Related Idea

Idea 9518 A 'theorem' is the conclusion of a provable sequent with zero assumptions [Lemmon]